index [ ]
container.Mutable_Array3.index [ ]
get element at given indices i0, i1, i2
Precondition
pre safety: 0 ≤ i0.as_i64 < length0 safety: 0 ≤ i1.as_i64 < length1 safety: 0 ≤ i2.as_i64 < length2 safety: is_accessible
Type Parameters
0.099dev (GIT hash 02118e9cbed77f3897084a4a507da3f11ac8881e)